(set-info :source |fuzzsmt|)
(set-info :smt-lib-version 2.0)
(set-info :category "random")
(set-info :status unknown)
(set-logic QF_IDL)
(declare-fun v0 () Int)
(declare-fun v1 () Int)
(declare-fun v2 () Int)
(assert (let ((e3 2))
(let ((e4 (< v2 v0)))
(let ((e5 (= v2 v1)))
(let ((e6 (distinct (- v2 v0) (- e3))))
(let ((e7 (< (- v1 v1) (- e3))))
(let ((e8 (= v1 v0)))
(let ((e9 (< v0 v0)))
(let ((e10 (<= (- v2 v0) (- e3))))
(let ((e11 (= v1 v2)))
(let ((e12 (ite e8 e6 e11)))
(let ((e13 (not e12)))
(let ((e14 (or e13 e7)))
(let ((e15 (ite e5 e14 e5)))
(let ((e16 (=> e4 e9)))
(let ((e17 (and e15 e16)))
(let ((e18 (=> e10 e10)))
(let ((e19 (= e18 e17)))
e19
))))))))))))))))))

(check-sat)
